Resolving Non-determinism in Choreographies
نویسندگان
چکیده
Abstract. Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non-deterministic choice. We show that, under some conditions, it is decidable whether an implementation is whole-spectrum. As a case study, we analyse the POP protocol under the lens of whole-spectrum implementation.
منابع مشابه
Why non-determinism in middleware should not be ignored
Unfortunately, in the practical world of IT, the theoretical solution does not apply. Indeed the cost of resolving the difficulties raised by non-determinism rapidly become prohibitive as the number of ‘components’ which need to work together rises. This is particularly applicable to distributed systems connected by middleware, with major implications for project management, application maintai...
متن کاملConfigurable analysis of sequential multi-party choreographies
For Business-To-Business integration (B2Bi) scenarios, the application of choreography and orchestration technology has become a core technique for resolving discrepancies between the interaction logic of individual partners and the intended overall message flow. While orchestrations govern the message exchanges of each single partner, choreographies define constraints and requirements for the ...
متن کاملResolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
In this paper, we develop a new mutation testing technique called Interlocutory Mutation Testing (IMT) that mitigates the equivalent mutant problem in the presence of coincidental correctness and non-determinism. The accuracy of IMT was evaluated; it obtained a classification accuracy of 93.33% for non-equivalent mutants and 100% for equivalent mutants in a non-deterministic system with coincid...
متن کاملNon-deterministic approximation of photon number discriminating detectors using non-discriminating detectors
We present a scheme for non-deterministically approximating photon number resolving detectors using non-discriminating detectors. The model is simple in construction and employs very few physical resources. Despite its non-determinism, the proposal may nonetheless be suitable for use in some quantum optics experiments in which non-determinism can be tolerated. We analyze the detection scheme in...
متن کاملA case report on bronchoalveolar carcinoma presenting as non-resolving consolidation
Abstract Bronchoalveolar carcinoma presenting as non-resolving consolidation is an uncommon presentation. The typical presentation of bronchoalveolar carcinoma is asymptomatic (solitary nodule) and remains without symptoms even as disease disseminates. We report a case of bronchoalveolar carcinoma presenting as non-resolving consolidation in a young male with productive cough, exertional ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014